widget-factory: Remove an unused size group
authorMatthias Clasen <mclasen@redhat.com>
Tue, 17 Nov 2020 12:33:46 +0000 (07:33 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 17 Nov 2020 12:34:53 +0000 (07:34 -0500)
commit835c807d7adb6ec5d547a016b869a2960e3d5d3f
treee6005495da1ad6a5d5f1efbe1db8ae1c680ef8d3
parent2ef72442ec2608e8836ba81b6f8033c92e3482f6
widget-factory: Remove an unused size group

This was left behind when 361407201b88c3aae2ee removed
the unused popover that this size group applied to.
demos/widget-factory/widget-factory.ui